flask: clean up initialization and #defines
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 9 Mar 2015 13:04:55 +0000 (14:04 +0100)
committerJan Beulich <jbeulich@suse.com>
Mon, 9 Mar 2015 13:04:55 +0000 (14:04 +0100)
commit77618649c65d3851c4af9e306ed770137e31dfcb
tree81b548ca965a3705fcf087a99148ef827ef1d122
parent7978429727a9da328444749951005b595de41098
flask: clean up initialization and #defines

This removes the FLASK_DEVELOP and FLASK_BOOTPARAM configuration
parameters which have never been settable by users.  Disabling the
FLASK_DEVELOP configuration option has not produced a compiling
hypervisor for some time, and the FLASK_BOOTPARAM option will be
replaced with a more flexible boot parameter.

This also changes the return type of xsm_initcall_t to void to properly
reflect the fact that the caller ignores the return value.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/include/xen/config.h
xen/include/xsm/xsm.h
xen/xsm/flask/avc.c
xen/xsm/flask/flask_op.c
xen/xsm/flask/hooks.c
xen/xsm/flask/include/avc.h
xen/xsm/flask/include/security.h